CBMC_GC_FLAGS += --arith mpc_main --arith sum --arith add_to_all --merge
include ../make_verifier.inc

